Satisfiability modulo theories - PDFSEARCH.IO - Document Search Engine

Satisfiability modulo theories
Results: 199

#	Item
171	A Concurrent Portfolio Approach to SMT Solving Christoph M. Wintersteiger1 , Youssef Hamadi2 , and Leonardo de Moura3 1 2 Add to Reading List Source URL: www.winterstiger.at Language: English - Date: 2009-05-09 06:17:01 Applied mathematics Logic in computer science Electronic design automation Formal methods NP-complete problems Satisfiability Modulo Theories Speedup Z3 OpenMP Theoretical computer science Computing Parallel computing
172	Efficiently Solving Quantified Bit-Vector Formulas Christoph M. Wintersteiger Youssef Hamadi Leonardo de Moura Add to Reading List Source URL: www.winterstiger.at Language: English - Date: 2010-07-29 11:34:28 Model theory Predicate logic Electronic design automation Logic in computer science NP-complete problems Satisfiability Modulo Theories Boolean satisfiability problem True quantified Boolean formula Skolem normal form Logic Theoretical computer science Mathematical logic
173	Resourceful Reachability as HORN-LA Josh Berdine, Nikolaj Bjørner, Samin Ishtiaq, Jael E. Kriener, and Christoph M. Wintersteiger Microsoft Research; University of Kent Abstract. The program verification tool SLAyer us Add to Reading List Source URL: www.winterstiger.at Language: English - Date: 2014-05-21 11:37:06 Formal methods Logic in computer science NP-complete problems Constraint programming Satisfiability Modulo Theories Vehicle Identification Number FO Theoretical computer science Applied mathematics Electronic design automation
174	Z34Bio: An SMT-based Framework for Analyzing Biological Computation Boyan Yordanov, Christoph M. Wintersteiger, Youssef Hamadi and Hillel Kugler Microsoft Research, Cambridge, UK, http://research.microsoft.com/z3-4biolog Add to Reading List Source URL: www.winterstiger.at Language: English - Date: 2013-07-20 10:58:56 Systems biology Applied mathematics Satisfiability Modulo Theories Gene regulatory network Mathematical and theoretical biology Synthetic biology DNA Boolean network Analysis Science Biology Bioinformatics
175	FMSD manuscript No. (will be inserted by the editor) Efficiently Solving Quantified Bit-Vector Formulas Christoph M. Wintersteiger · Youssef Add to Reading List Source URL: www.winterstiger.at Language: English - Date: 2012-09-29 08:41:59 Model theory Predicate logic Logic in computer science Quantification NP-complete problems Satisfiability Modulo Theories True quantified Boolean formula Skolem normal form FO Logic Theoretical computer science Mathematical logic
176	Proof Reconstruction for Z3 in Isabelle/HOL Sascha B¨ohme Technische Universit¨at M¨ unchen [removed] Abstract Add to Reading List Source URL: www4.in.tum.de Language: English - Date: 2009-07-06 02:18:43 Proof theory Logic in computer science Automated theorem proving Formal methods Natural deduction Mathematical proof First-order logic Satisfiability Modulo Theories Propositional calculus Logic Mathematical logic Mathematics
177	Satisfiability Modulo Software Michal Jan Moskal PhD Thesis Supervisor: Prof. Leszek Pacholski Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2010-07-22 14:10:57 Formal methods Logic in computer science Electronic design automation NP-complete problems Numerical software Satisfiability Modulo Theories Boolean satisfiability problem Solver Lis Theoretical computer science Applied mathematics Mathematics
178	SMT-Based System Verification with DVF Amit Goel, Sava Krsti´c, Rebekah Leslie, Mark R. Tuttle Intel Corporation Abstract We introduce the Deductive Verification Framework (DVF ), a language and a tool for verifying pro Add to Reading List Source URL: www.markrtuttle.com Language: English - Date: 2012-06-12 17:13:00 Logic in computer science Data types Formal methods Pointer First-order logic Satisfiability Modulo Theories Assertion ALGOL 68 Theoretical computer science Software engineering Computer programming
179	Algorithms for Software Model Checking: Predicate Abstraction vs. I MPACT Dirk Beyer Philipp Wendler Add to Reading List Source URL: www.sosy-lab.org Language: English - Date: 2013-10-11 07:00:05 Formal methods Logic in computer science Thought Algorithm Mathematical logic Model checking Satisfiability Modulo Theories Abstraction Predicate abstraction Mathematics Theoretical computer science Applied mathematics
180	Software Model Checking via Large-Block Encoding Dirk Beyer ∗ Alessandro Cimatti † Alberto Griggio ∗‡ Add to Reading List Source URL: www.sosy-lab.org Language: English - Date: 2013-10-11 06:59:10 Thought Semantics Formal methods Abstraction Constraint programming Satisfiability Modulo Theories Model checking BLAST model checker Function Theoretical computer science Mathematics Cognition